Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–562) POSITIVITY AND ALGEBRAIC INTEGRABILITY OF HOLOMORPHIC FOLIATIONS Carolina Araujo

Source URL: eta.impa.br

• Geometry
• Abstract algebra
• Algebra
• Algebraic geometry
• Foliation
• Birational geometry
• Projective variety
• Integrable system
• Ample line bundle
• Canonical bundle
• Algebraic variety
• Khler manifold

Kompaktflyer 06: Der Business Model Navigator 2/3

Source URL: gemeinsam-digital.de

Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond

Source URL: www.lsi.upc.edu

• Computer programming
• Software engineering
• Combinatorial optimization
• Matching
• Monad
• Conditional

PDF Document

Source URL: www.datenschutz.rlp.de

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Source URL: isabelle.in.tum.de

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Mathematical logic
• Algebraic structures
• Predicate logic
• Distributive lattice
• Complete Heyting algebra
• Mereology
• Partially ordered set

Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University

Source URL: csl.sri.com

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Computer algebra
• Polynomial
• Factorization of polynomials
• Constraint programming
• Resultant
• Constraint logic programming
• Polynomial ring

Lizenzkategorien und Leistungen. AEUR B

Source URL: www.berlin-partner.de

Standards minimaux applicables à la gestion de la qualité des programmes SRG SSR Préambule La qualité du programme est un thème central pour un diffuseur national de service public comme la SSR. L’actuelle concess

Source URL: metro.srgssr.ch

Conditions de participation «Best of Swiss Web Award»
(Conditions générales) 1. Cercle des participants Les personnes physiques et morales ayant leur domicile ou leur siège en Suisse sont autorisées à participer

Source URL: bestofswissweb.ch

* CTL synthesis via LTL synthesis

Source URL: www.react.uni-saarland.de

• Temporal logic
• Logic in computer science
• Computation tree logic
• Linear temporal logic
• CTL*